21. Digital Image Processing :
پدیدآورنده : by Bernd Jähne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemometrics.,Engineering.,Software engineering.
22. Electronic Engineering :
پدیدآورنده : editor, Dongxing Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electrical engineering.,Electronics.,Information technology.,Nanoscience.,Nanotechnology.,Electrical engineering.,Electronics.,Information technology.,Nanoscience.,Nanotechnology.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5
23. Enabling Technologies for Computational Science
پدیدآورنده : edited by Elias N. Houstis, John R. Rice, Efstratios Gallopoulos, Randall Bramley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Electronic data processing.,Information theory.
24. Facing the Multicore - Challenge II
پدیدآورنده : edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
25. Handbook on material and energy balance calculations in materials processing /
پدیدآورنده : Arthur E. Morris, Gordon Geiger, H. Alan Fine
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemical processes-- Mathematical models, Handbooks, manuals, etc,Conservation laws (Physics)-- Mathematics, Handbooks, manuals, etc,Heat balance (Engineering)-- Mathematics, Handbooks, manuals, etc,Manufacturing processes-- Mathematical models, Handbooks, manuals, etc,Materials, Handbooks, manuals, etc,Phase rule and equilibrium, Handbooks, manuals, etc
رده :
TP155
.
7
.
M66
2011
26. High-Performance Computing Using FPGA
پدیدآورنده : / edited by Wim Vanderbauwhede, Khaled Benkrid
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer science,Mathematics,Systems engineering,Electronic books
رده :
E-BOOK
27. Introduction to Discrete Mathematics for Software Engineering
پدیدآورنده : Tim ,Denvir
کتابخانه: کتابخانه دانشکده مدیریت دانشگاه تهران (تهران)
موضوع : Electronic Data processing - Mathematics
28. Introduction to discrete mathematics for software engineering
پدیدآورنده : Tim Denvir
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع : Electronic data processing--mathematics
رده :
QA
76
.
9
.
M35
29. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic data processing mathematics
رده :
QA
76
.
9
.
M35
30. Introduction to discrete mathematics for software engineering
پدیدآورنده : Denvir, Tim
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Software engineering
رده :
QA
76
.
9
.
M35
D45
1986
31. Introduction to discrete mathematics for software engineering
پدیدآورنده : DENVIR,TIM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
9
.
M35
D45
32. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
33. Managing the unmanageable : systematic downloading of electronic resources by library users / Gayle Baker, Carol Tenopir -- Library/vendor relations : the APA experience / Linda Beebe -- Managing customer relationships : a book vendor point-of-
پدیدآورنده : Sam Brooks, David H. Carlson, editors.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
34. Nonlinear inverse problems in imaging /
پدیدآورنده : Jin Keun Seo, Eung Je Woo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cross-sectional imaging-- Mathematics.,Image processing-- Mathematics.,Inverse problems (Differential equations),Nonlinear theories.
رده :
TA1637
.
S375
2013
35. Numerical Data Fitting in Dynamical Systems
پدیدآورنده : by Klaus Schittkowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematical optimization.,Mathematics.,Statistics.
36. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
37. Principles of distributed systems :
پدیدآورنده : Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses,Electronic data processing-- Distributed processing, Congresses
رده :
QA76
.
9
.
D5
O66
2011
38. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
39. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
40. Sixth International Conferenve on Software Engineering for Telecommunication Switching Systems, 14-18 April 1986: Venue, the Philips Congress Centre, Eindhoven, the Netherlands
پدیدآورنده : Organised by the Electronics and Computing and Control Divisions of the Institution of Electrical Engineers at the invitation of the Koninklijk Instituut van Ingenieurs )KLVL(, Afdeling sectie Informatietechiek )Sic( and the Nederlands Genootschap Informatica )NGI( in association with the British Computer Society )BCS(, Institute of Mathematics and its Application )IMA(, Institution of Electronic and Radio Engineers )IERE(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Switching systems - Data processing - Congresses ، Telecommunication,Data processing - Congresses ، Telephone switching systems, Electronic
رده :
TK
5102
.
5
.
I5255
1986